Evaluer le drift avec la fonction de Lyapounov donnée.

Lorsque \(x\) devient très grand, cela tend vers quelque-chose de strictement négatif.

On peut rempalcer la condition "\(x\) très grand" par une certaine borne \(x_0\).

En prenant \(K=\{0,\dots,x_0\}\), on a bien tous les éléments nécessaires.